VÉRIFICATION ET SYNTHÈSE DE SYSTÈMES RÉACTIFS = VERIFICATION AND SYNTHESIS OF REACTIVE SYSTEMSLesens, David; Halbwachs, Nicolas.1997, 176 p.Thesis

Automatic verification of parameterized networks of processesLESENS, David; HALBWACHS, Nicolas; RAYMOND, Pascal et al.Theoretical computer science. 2001, Vol 256, Num 1-2, pp 113-144, issn 0304-3975Article

Modeling and Validation of a Software Architecture for the Ariane-5 LauncherOBER, Iulian; GRAF, Susanne; LESENS, David et al.Lecture notes in computer science. 2006, pp 48-62, issn 0302-9743, isbn 3-540-34893-X, 1Vol, 15 p.Conference Paper

Une implémentation TOPCASED supportant un processus multi-formalisme de développement par transformation de modèles : Ingénierie à base de modèles = Supporting a Multi-Formalism Model Driven Development Process with Model Transformation, a TOPCASED ImplementationDUMAS, Xavier; GABEL, Sébastien; HONORE, Julien et al.REE. Revue de l'électricité et de l'électronique. 2009, Num 2, issn 1265-6534, 45-51, 62 [8 p.]Article

Projet OMEGA : Un profil UML et un outil pour la modélisation et la validation de systèmes temps réel = OMEGA project: an UML profile and a tool for the modelling and validation of real time systemsOBER, Iulian; OBER, Ileana; GRAF, Susanne et al.Génie logiciel (1995). 2005, Num 73, pp 33-38, issn 1265-1397, 6 p.Conference Paper

Modèles système, modèles logiciel et modèles de code dans les applications spatialesCONQUET, Eric; DORMOY, François-Xavier; DRAGOMIR, Iulia et al.Génie logiciel (1995). 2011, Num 97, pp 9-15, issn 1265-1397, 7 p.Conference Paper